Wednesday - August, 27th

8:00 – 9:00 : Registration

9:00 – 10:00 : Technical Session 1

Beyond ASCII -- parsing programs with graphical presentations
Martijn Schrage (Utrecht University), Doaitse Swierstra (Utrecht University)

Shortcut fusion of monadic programs
Cecilia Manzino (Universidad Nacional de Rosario),
Alberto Pardo (Universidad de La República)

10:00 – 10:30 : Coffee-break

10:30 – 12:00 : Tutorial

Memórias Transacionais e a Linguagem STM Haskell
Andre Du Bois (UCPel)

12:00 – 14:00 : Lunch

14:00 – 15:30 : Technical Session 2

LALR Parser Generator with Conflict Resolution Support
Leonardo Passos (UFMG), Mariza Bigonha (UFMG), Roberto Bigonha (UFMG)

An Instruction Scheduling Algorithm Based on Subgraph Isomorphism
Ricardo Santos (Dom Bosco Catholic University),
Rodolfo Azevedo (Unicamp), Guido Araujo (Unicamp)

Eliminating Cycles in Weak Tables
Alexandra Barros (PUC-Rio), Roberto Ierusalimschy (PUC-RIO)

15:30 – 16:00 : Coffee-break

16:00 – 17:30 : Invited Talk 1

Programming Models for Concurrency and Real-time
Jan Vitek (Purdue University)

17:30 – 18:00 : Opening Session

18:00 – 20:00 : Coquetel

Thursday - August, 28th

09:00 – 10:30 : Technical Session 3

Controlling Aspect Reentrancy
Eric Tanter (University of Chile)

A Lightweight and Extensible AspectJ Implementation
Rodolfo Toledo (University of Chile), Eric Tanter (University of Chile)

On the interaction of Advices and Raw Types in AspectJ
Fernando Barden Rubbo (UFRGS), Rodrigo Machado (UFRGS),
Alvaro Moreira (UFRGS), Leila Ribeiro (UFRGS), Daltro Nunes (UFRGS)

10:30 – 11:00 : Coffee-break

11:00 – 12:00 : Sponsor Talk (Microsoft):

Microsoft e Linguagens de Programação: Ferramentas e Pesquisas
André Santos (UFPE)

12:00 – 14:00 : Lunch

14:00 – 15:00 : Technical Session 4

Exploring Lua for Concurrent Programming
Alexandre Skyrme (PUC-Rio), Noemi Rodriguez (PUC-Rio),
Roberto Ierusalimschy (PUC-Rio)

A Complete and Minimal Set of Algebraic Laws for Feature Models
Rohit Gheyi (UFCG), Tiago Massoni (UFPE), Paulo Borba (UFPE)

15:30 – 16:00 : Coffee-break

16:00 – 17:30 : Invited Talk 2

Shriram Krishnamurthi (Brown University)

17:30 – 18:30 : Program Committee Meeting

20:00 – Conference Dinner

Friday - August, 29th

08:30 – 10:00 : Technical Session 5

Disentangling Denotational Semantics Specifications
Fabio Tirelo (PUC Minas), Roberto Bigonha (UFMG),
João Saraiva (Universidade do Minho)

Formal Action Semantics for a UML Action Language
Mikai Yang (Heriot-watt University), Greg J. Michaelson (Heriot-watt University),
Rob J. Pooley (Heriot-watt University)

A Semântica Formal da Linguagem RS
Giovani Rubert Librelotto (UNIFRA), Juliana Vizzotto (INPE),
Iara Augustin (UFSM), Simão Toscani (PUCRS e UNILASALLE)

10:00 – 10:30 : Coffee-break

10:30 – 12:00 : Seminar

Advances and Challenges in Modular Semantics
Peter Mosses (Swansea University)